Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
311	Terms of Reference for continuing to Develop Capacities for a National Forest Monitoring and Measurement, Reporting and Verification System to Support REDD+ Participation of Guyana Roadmap Phase 1 Achievements, Evolving Add to Reading List Source URL: www.forestry.gov.gy Language: English Climate change policy Land management Land use Emissions reduction Reforestation Reducing Emissions from Deforestation and Forest Degradation Deforestation Intergovernmental Panel on Climate Change Software development process Forestry Environment Carbon finance
312	Busitech QW 5.0 versionApril 17, 2012 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2012-04-19 10:49:15 Verification and validation Software testing Windows Script Host Validation System software Software Science Pharmaceutical industry Validity Windows Registry
313	Busitech QW 5.0 versionOctober 25, 2004 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:59:37 Clinical research Quality Validation Software testing Dynamic-link library Verification and validation Windows Registry Software Computing Pharmaceutical industry Validity System software
314	Busitech QW 5.0 versionAugust 6, 2013 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2013-08-06 11:57:49 Quality management Systems engineering Verification and validation Software testing Windows Script Host Validation Science Philosophy of science Evaluation Pharmaceutical industry Validity Food safety
315	Busitech QW 5.0 versionJanuary 6, 2006 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:44 Software Computer programming Clinical research Quality Validation Dynamic-link library Software testing Verification and validation Windows Registry Computing Pharmaceutical industry Validity
316	X Input Device Extension Library Add to Reading List Source URL: www.x.org Language: English - Date: 2012-06-06 02:50:11 Application programming interfaces X Window System core protocol X Window System Input device Input Pointer Network protocols Device driver synthesis and verification Features new to Windows XP Software Computing System software
317	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
318	Verification of security protocols — reducing the number of agents — Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universités The internship will be located at Nancy and/or at ENS Cachan d Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-21 15:33:34 Information Cryptographic protocols Free software ProVerif Ciphertext indistinguishability Communications protocol Cryptographic primitive Authentication Tor Cryptography Cryptographic software Data
319	Busitech QW 5.0 versionDecember 5, 2005 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:50 Validity System software Clinical research Quality Validation Dynamic-link library Software testing Verification and validation Windows Registry Computing Software Pharmaceutical industry
320	From Relational Verification to SIMD Loop Synthesis Gilles Barthe1 Juan Manuel Crespo1 Sumit Gulwani2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-01-13 01:49:04 Computer programming Control flow Loop optimization Vectorization Loop invariant Infinite loop For loop SIMD Parallel computing Computing Software engineering Compiler optimizations

UPDATE